Yamamoto, Nobito: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Numerical Verification Method of Solutions for the Navier-Stokes Equations

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Journal:

Reliable Computing

Year:

1999

File:

PDF, 295 KB

1999

2

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

Nobito Yamamoto

Journal:

SIAM Journal on Numerical Analysis

Year:

1998

Language:

english

File:

PDF, 641 KB

english, 1998

3

Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim

Journal:

Journal of Scientific Computing

Year:

2010

Language:

english

File:

PDF, 102 KB

english, 2010

4

Computer Assisted Proofs of Bifurcating Solutions for

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim

Journal:

Journal of Scientific Computing

Year:

2010

Language:

english

File:

PDF, 552 KB

english, 2010

5

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

Yamamoto, Nobito

Journal:

SIAM Journal on Numerical Analysis

Year:

1998

Language:

english

File:

PDF, 282 KB

english, 1998

6

Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains

Kinoshita, Takehiko, Watanabe, Yoshitaka, Yamamoto, Nobito, Nakao, Mitsuhiro T.

Journal:

Japan Journal of Industrial and Applied Mathematics

Year:

2016

Language:

english

File:

PDF, 395 KB

english, 2016

7

On the Best Constant in the Error Bound for theH10-Projection into Piecewise Polynomial Spaces

Mitsuhiro T. Nakao, Nobito Yamamoto, Seiji Kimura

Journal:

Journal of Approximation Theory

Year:

1998

Language:

english

File:

PDF, 195 KB

english, 1998

8

Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method

Mitsuhiro T Nakao, Nobito Yamamoto

Journal:

Journal of Mathematical Analysis and Applications

Year:

1998

Language:

english

File:

PDF, 194 KB

english, 1998

9

Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

1997

Language:

english

File:

PDF, 449 KB

english, 1997

10

Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element

Nobito Yamamoto, Mitsuhiro T. Nakao

Journal:

Journal of Computational and Applied Mathematics

Year:

1995

Language:

english

File:

PDF, 434 KB

english, 1995

11

On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains

Nobito Yamamoto, Kenta Genma

Journal:

Journal of Computational and Applied Mathematics

Year:

2007

Language:

english

File:

PDF, 253 KB

english, 2007

12

A simple method for error bounds of eigenvalues of symmetric matrices

Nobito Yamamoto

Journal:

Linear Algebra and its Applications

Year:

2001

Language:

english

File:

PDF, 64 KB

english, 2001

13

Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains

Nobito Yamamoto, Keisuke Hayakawa

Journal:

Journal of Computational and Applied Mathematics

Year:

2003

Language:

english

File:

PDF, 213 KB

english, 2003

14

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe

Journal:

Journal of Computational and Applied Mathematics

Year:

1998

Language:

english

File:

PDF, 764 KB

english, 1998

15

Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains

Nobito Yamamoto, Mitsuhiro T. Nakao

Journal:

Numerische Mathematik

Year:

1993

Language:

english

File:

PDF, 679 KB

english, 1993

16

Verified numerical computations for an inverse elliptic eigenvalue problem with finite data

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto

Journal:

Japan Journal of Industrial and Applied Mathematics

Year:

2001

Language:

english

File:

PDF, 838 KB

english, 2001

17

An application of Taylor models to the Nakao method on ODEs

Nobito Yamamoto, Takashi Komori

Journal:

Japan Journal of Industrial and Applied Mathematics

Year:

2009

Language:

english

File:

PDF, 1.26 MB

english, 2009

18

A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem

Yoshitaka Watanabe, Nobito Yamamoto, MitsuhiroT. Nakao, Takaaki Nishida

Journal:

Journal of Mathematical Fluid Mechanics

Year:

2004

Language:

english

File:

PDF, 328 KB

english, 2004

19

Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations

Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe

Journal:

Reliable Computing

Year:

1998

File:

PDF, 546 KB

1998

20

A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations

Yamamoto, Nobito, Nakao, Mitsuhiro T., Watanabe, Yoshitaka

Journal:

Numerical Functional Analysis and Optimization

Year:

2011

Language:

english

File:

PDF, 201 KB

english, 2011

21

Numerical verifications of solutions for elliptic equations with strong nonlinearity

Nakao, Mitsuhiro T., Yamamoto, Nobito

Journal:

Numerical Functional Analysis and Optimization

Year:

1991

Language:

english

File:

PDF, 804 KB

english, 1991

22

Some considerations of the invertibility verifications for linear elliptic operators

Nakao, Mitsuhiro T., Watanabe, Yoshitaka, Kinoshita, Takehiko, Kimura, Takuma, Yamamoto, Nobito

Journal:

Japan Journal of Industrial and Applied Mathematics

Year:

2015

Language:

english

File:

PDF, 222 KB

english, 2015

23

Preface

Koyama, D., Lai, C.-H., Yamamoto, N., Koyama, Daisuke, Lai, Choi-Hong, Yamamoto, Nobito

Journal:

Journal of Algorithms & Computational Technology

Year:

2013

Language:

english

File:

PDF, 20 KB

english, 2013

24

A Person with Hobby

YAMAMOTO, Nobito

Journal:

IEICE ESS Fundamentals Review

Year:

2011

File:

PDF, 1.64 MB

2011

25

On the basic operations of interval multiple-precision arithmetic with center-radius form

Matsuda, Nozomu, Yamamoto, Nobito

Journal:

Nonlinear Theory and Its Applications IEICE

Year:

2011

Language:

english

File:

PDF, 751 KB

english, 2011

26

Validated computation of global solutions to ODEs

Harikae, Masato, Yamamoto, Nobito

Journal:

Nonlinear Theory and Its Applications IEICE

Year:

2013

Language:

english

File:

PDF, 399 KB

english, 2013

27

Special section on recent progress in verified numerical computations

Yamamoto, Nobito, Ogita, Takeshi

Journal:

Nonlinear Theory and Its Applications IEICE

Year:

2014

Language:

english

File:

PDF, 99 KB

english, 2014

28

Some remarks on numerical verification of closed orbits in dynamical systems

Hiwaki, Tomohiro, Yamamoto, Nobito

Journal:

Nonlinear Theory and Its Applications IEICE

Year:

2015

Language:

english

File:

PDF, 169 KB

english, 2015

29

On the construction of Lyapunov functions with computer assistance

Matsue, Kaname, Hiwaki, Tomohiro, Yamamoto, Nobito

Journal:

Journal of Computational and Applied Mathematics

Year:

2017

Language:

english

File:

PDF, 1.71 MB

english, 2017